Formal Security Analysis of ECC-Based RFID in Logic of Events Theory

Radio frequency identification (RFID) is a crucial component of the Internet Things (IoT), and RFID using elliptic curve Cryptography (ECC) public key cryptosystem authentication approach that tackles problem electronic tag data encryption in systems. The commercialisation large-scale deployment systems has raised number security-related issues suggest need for security protocols. Logic events theory (LoET) formal method constructing reasoning about distributed protocols involving concepts. This paper proposes three event classes, Compute, Retrieve, Generate, related axioms inference rules to formally abstract ECC session generation function institute process both parties, ex-tended LoET used analyse properties ECC-based Under reasonable assumptions, an mutual scheme shown satisfy strong feature. It extended logic may be prove this class